Topological and Game - Theoretic Aspects of In nite Computations Dagstuhl Seminar
نویسندگان
چکیده
From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 Topological and Game-Theoretic Aspects of In nite Computations was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, many participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations
The theory of the infinite behaviour of continuously operating computing devices is of primary importance for several branches of theoretical and practical computer science. In particular, it is fundamental for the verification and synthesis of reactive systems like microprocessors or operating systems, for the understanding of dataflow computation, and for the development of adequate mathemati...
متن کاملOn the Hausdorff measure of regular ω-languages in Cantor space
This paper deals with the calculation of the Hausdorff measure of regular ω-languages, that is, subsets of the Cantor space definable by finite automata. Using methods for decomposing regular ω-languages into disjoint unions of parts of simple structure we derive two sufficient conditions under which ω-languages with a closure definable by a finite automaton have the same Hausdorff measure as t...
متن کاملReport from Dagstuhl Seminar 17292 Topology , Computation and
This report documents the program and the outcomes of Dagstuhl Seminar 17292 “Topology, Computation and Data Analysis”. This seminar was the first of its kind in bringing together researchers with mathematical and computational backgrounds in addressing emerging directions within computational topology for data analysis in practice. The seminar connected pure and applied mathematicians, with th...
متن کاملSoftware Veri cation: In nite-State Model Checking and Static Program Analysis Dagstuhl Seminar
From 19.02.06 to 24.02.06, the Dagstuhl Seminar 06081 Software Veri cation: In nite-State Model Checking and Static Program Analysis was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the sem...
متن کاملExploration and Curiosity in Robot Learning and Inference (Dagstuhl Seminar 11131)
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101) Jürgen Dix, Wojtek Jamroga, and Dov Samet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Computational Geometry (Dagstuhl Seminar 11111) Pankaj Kumar Agarwal, Kurt Mehlhorn, and Monique Teillaud . . . . . . . . . . . . . . . . . . 19 Computational Complexity of Discrete Problems (...
متن کامل